From: Jasper St. Pierre <jstpierre@mecheye.net>
Date: Mon, 20 Aug 2012 22:30:04 +0000 (-0400)
Subject: workspacesView: Add some more spacing between window and workspace thumbs
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~5559
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=96556eb9596ef61e0db8ebcdc2aa40cac901f88b;p=gnome-shell.git

workspacesView: Add some more spacing between window and workspace thumbs

https://bugzilla.gnome.org/show_bug.cgi?id=582650
---

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index dd492bf01..d13e3ec10 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -569,7 +569,7 @@ StScrollBar StButton#vhandle:active {
 /* Overview */
 
 #overview {
-    spacing: 12px;
+    spacing: 40px;
 }
 
 .window-caption {
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 33bc81ff3..a14e67533 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -864,6 +864,7 @@ const WorkspacesDisplay = new Lang.Class({
         let clipY = y + (fullHeight - clipHeight) / 2;
 
         let widthAdjust = this._zoomOut ? controlsNatural : controlsVisible;
+        widthAdjust += Main.overview._spacing;
         width -= widthAdjust;
         if (rtl)
             x += widthAdjust;